La teoría de Sturm-Liouville (S-L) surge como el puente matemático entre las leyes de conservación física—que gobiernan fenómenos como cuerdas vibrantes y transmisión eléctrica—y el lenguaje formal de los operadores lineales. Al aplicar la Segunda Ley de Newton a un elemento infinitesimal $\Delta x$ y utilizar el método de separación de variables, transformamos ecuaciones diferenciales parciales específicas (EDPs) en un marco generalizado de ecuaciones diferenciales ordinarias (EDOs): $(p(x)X')' - q(x)X + \lambda r(x)X = 0$.
La Física del Movimiento: De las Cuerdas a las Ecuaciones
La ley de Newton, tal como se aplica al elemento $\Delta x$ de la cuerda, establece que la fuerza externa neta, debida a la tensión en los extremos del elemento, debe ser igual al producto de la masa del elemento y la aceleración de su centro de masa: $\rho \Delta x u_{tt}(\bar{x}, t)$.
Descomponiendo la tensión $T$ en sus componentes horizontal $H$ y vertical $V$ (como se observa en Figura 10.B.1), establecemos equilibrio y movimiento:
- Equilibrio Horizontal: $T(x + \Delta x, t) \cos(\theta + \Delta \theta) - T(x, t) \cos \theta = 0$ (lo que da una $H$ constante).
- Movimiento Vertical: $\frac{V(x + \Delta x, t) - V(x, t)}{\Delta x} = \rho u_{tt}(\bar{x}, t)$, lo que conduce a la relación de gradiente $V_x(x, t) = \rho u_{tt}(x, t)$.
- Propagación de Ondas: Al sustituir $V(x, t) = H(t) \tan \theta \approx H(t) u_x(x, t)$ obtenemos $H u_{xx} = \rho u_{tt}$, o la ecuación estándar ecuación de onda para una dimensión espacial: $a^2 u_{xx} = u_{tt}$, donde $a^2 = \frac{T}{\rho}$ es la velocidad de la onda.
La Ecuación del Telégrafo y su Generalización
Los sistemas reales rara vez son ideales. Incorporan una fuerza de amortiguamiento viscoso ($-c u_t$) y una fuerza recuperadora elástica ($-k u$). Esto produce la ecuación del telégrafo:
$$u_{tt} + c u_t + k u = a^2 u_{xx} + F(x, t)$$
La ecuación del telégrafo también rige el flujo de voltaje o corriente en una línea de transmisión (de ahí su nombre); en este caso, los coeficientes están relacionados con parámetros eléctricos de la línea. Extendiendo esto a dimensiones superiores obtenemos $a^2(u_{xx} + u_{yy}) = u_{tt}$ o $a^2(u_{xx} + u_{yy} + u_{zz}) = u_{tt}$.
El Origen del Operador de S-L
Cuando aplicamos la separación de variables ($u = X(x)T(t)$) a una ecuación generalizada como $r(x) u_t = (p(x) u_x)_x - q(x) u$, obtenemos una razón igual a una constante de separación $-\lambda$:
Esto obliga al componente temporal a $T' + \lambda T = 0$ y al componente espacial a la forma fundamental de S-L:
$$(p(x) X')' - q(x)X + \lambda r(x)X = 0$$